Nuprl Definition : mk-ma 0,22

mk-ma(ds;
da;
init;
pre;
ef;
send;
frame;
sframe;
aframe;
bframe;
rframe)
== <ds,da,init,pre,ef,send,frame,sframe,aframe,bframe,rframe,
latex


Definitions<a,b>,
FDL editor aliasesmk-ma

origin